package argModelChecker;

import java.io.IOException;
import java.io.StreamTokenizer;
import java.io.StringReader;
import java.util.*;
import Jona.*;

import java.util.Vector;

public class ArgModelChecker {
	
	public Hashtable rowTable = new Hashtable(10);
	public ArgModelNode rootnode = new rootState();
	
	public ArgModelChecker()
	{
		String tmp = "A=HENK";
		StringReader sis = new StringReader(tmp);
		StreamTokenizer st = new StreamTokenizer(sis);
		st.eolIsSignificant(true);
		st.quoteChar(34);
		st.wordChars(33,33);
		try
		{
			rootnode.handleState(st,rowTable);
		}
		catch(Exception e)
		{
			System.out.println("Exception: " + e.getMessage() + " " + e.getClass() );
			e.printStackTrace();
		}
		
		System.out.println(rowTable.toString());
		
	}
	
	
}

